and Models of Computer Programming - PDFSEARCH.IO - Document Search Engine

and Models of Computer Programming
Results: 208

#	Item
71	AND/OR Search Spaces for Graphical Models Rina Dechter and Robert Mateescu Donald Bren School of Information and Computer Science University of California, Irvine, CAAbstract Add to Reading List Source URL: www.ics.uci.edu Language: English - Date: 2006-11-07 17:35:27 Constraint programming Bayesian statistics Statistical models Networks Tree decomposition Bayesian network Constraint satisfaction Markov random field Graph Graph theory Mathematics Graphical models
72	Simulation and Benchmarking of Modelica Models on Multi-core Architectures with Explicit Parallel Algorithmic Language Extensions Afshin Hemmati Moghadam Mahder Gebremedhin Add to Reading List Source URL: www.ida.liu.se Language: English - Date: 2011-12-02 10:33:15 Computer programming Object-oriented programming Modelica Graphics hardware Video cards Parallel computing OpenCL CUDA Multi-core processor Computing GPGPU Computer hardware
73	A FLAT DIRECT MODEL FOR SPEECH RECOGNITION G. Heigold∗ G. Zweig, X. Li, and P. Nguyen Chair of Computer Science 6 Add to Reading List Source URL: research.microsoft.com Language: English - Date: 2009-01-20 01:53:21 Knowledge Computational linguistics Dynamic programming Dynamic time warping Time series analysis Speech recognition Hidden Markov model Relevance Detroit Metropolitan Wayne County Airport Science Statistics Markov models
74	A OpenStream: Expressiveness and Data-Flow Compilation of OpenMP Streaming Programs ´ Antoniu Pop, INRIA and Ecole Normale Sup´erieure Add to Reading List Source URL: www.di.ens.fr Language: English - Date: 2013-02-19 11:16:13 Models of computation Programming paradigms Inter-process communication Procedural programming languages Parallel computing OpenMP Stream processing Stream ALGOL 68 Computing Computer programming Software engineering
75	Quantum boolean functions Ashley Montanaro∗ and Tobias J. Osborne† May 31, 2010 Abstract In this paper we introduce the study of quantum boolean functions, which are unitary Add to Reading List Source URL: cjtcs.cs.uchicago.edu Language: English - Date: 2011-06-03 17:28:45 Quantum mechanics Models of computation Quantum algorithm Quantum error correction Quantum measurement Quantum circuit Quantum computer Boolean algebra Quantum programming Theoretical computer science Quantum information science Applied mathematics
76	Aspect Categories and Classes of Temporal Properties Shmuel Katz Computer Science The Technion Haifa Israel Add to Reading List Source URL: www.cs.technion.ac.il Language: English - Date: 2005-11-27 04:16:54 Models of computation Temporal logic UML diagrams Aspect-oriented programming Abstraction Grammatical aspect Kripke structure Programming language Monad Software development Aspect-oriented software development Software engineering
77	A functional quantum programming language Thorsten Altenkirch and Jonathan Grattage School of Computer Science and IT, Nottingham University email: {txa,jjg}@cs.nott.ac.uk Abstract Add to Reading List Source URL: www.cs.nott.ac.uk Language: English - Date: 2006-05-01 19:42:44 Applied mathematics Models of computation Quantum mechanics Symbol Quantum circuit Quantum computer Quantum operation Quantum programming Quantum gate Theoretical computer science Quantum information science Physics
78	Mordechai (Moti) Ben-Ari Education • Ph.D. Tel Aviv University, Mathematics (Computer Science), 1981. Thesis: Complexity of Proofs and Models in Programming Logics. Advisors: Amir Pnueli and Zvi Galil. Add to Reading List Source URL: www.weizmann.ac.il Language: English - Date: 2014-07-30 05:41:34 Academia Science and technology in Israel Amir Pnueli Weizmann Institute of Science Ehud Shapiro SIGCSE Department of Computer Science Year of birth missing Mordechai Ben-Ari Computer science
79	Static and Dynamic Debugging of Modelica Models Add to Reading List Source URL: www.ep.liu.se Language: English - Date: 2012-07-23 14:31:22 Object-oriented programming Debuggers Modelica Debugging Debug symbol Simulation software Differential equation Simultaneous equations JModelica.org Computer programming Computing Software engineering

UPDATE